
#ifndef  PRINTF_H
#define  PRINTF_H



int printf(const char * format, ...) ;//__attribute__((format (printf, 1, 2)));

void panic(const char *) __attribute__((noreturn));

#endif   /* PRINTF_H */

